#include "test.h"

void printOK()
{
    printf("456\n");
}